Buy Used and New Leslie Lamport Books

LATEX: a Document Preparation System : User's Guide and Reference Manual (Addison-Wesley Series on Tools and Techniques for Computer T)

by Leslie Lamport

ISBN 13: 9780201529838

Format: Paperback (288 pages)
Publisher: Addison Wesley
Published: 30 Jun 1994

Save for later

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

by Leslie Lamport

ISBN 13: 9780321143068

Format: Paperback (384 pages)
Publisher: Addison Wesley
Published: 19 Jul 2002

Save for later